Mathematics and Philosophy
Mathematics and Philosophy
logic
at loggerheads
mathematics
Define the word
I'm not going to question the veracity of the definition.
philosophy
Problems with foundationalism and old news
Aim to create a system with [integrity
The definition of a certain symbol X is no different from the mere use of X because it merely states the relationship between X and other words
If the same symbol is used in two places, we assume it refers to the same thing.
How the symbol X is used in its everyday use is of little importance
There is a weak assumption that it may be used in a similar way, and if there are no other clues, it is used to interpret the meaning, but if there is a contradiction, this one is discarded because the relationship in the text is stronger.
---
This page is auto-translated from /nishio/数学と哲学. If you looks something interesting but the auto-translated English is not good enough to understand it, feel free to let me know at @nishio_en. I'm very happy to spread my thought to non-Japanese readers.